(define-module (python-mypy-extensions)
#:use-module (guix packages)
#:use-module (gnu packages python-xyz)
#:use-module (gnu packages sphinx)
#:use-module (gnu packages check)
#:use-module (guix utils)
#:use-module (gnu packages python)
#:use-module (guix download)
#:use-module (guix licenses)
#:use-module (guix build-system python))

(define-public python-mypy-extensions
  (package
    (name "python-mypy-extensions")
    (version "0.4.3")
    (source
      (origin
        (method url-fetch)
        (uri (pypi-uri "mypy-extensions" version))
        (sha256
          (base32
            "1a04qsk8hd1lqns8w1j7cr0vmvbhg450di5k1i16kqxkbf7q30id"))))
    (build-system python-build-system)
    ;;(propagated-inputs
    ;;  `(("python-typing" ,python-typing)))
    (home-page
      "https://github.com/python/mypy_extensions")
    (synopsis
      "Experimental type system extensions for programs checked with the mypy typechecker.")
    (description
      "Experimental type system extensions for programs checked with the mypy typechecker.")
    (license #f)))

(define-public python-mypy
  (package
    (name "python-mypy")
    (version "0.782")
    (source
      (origin
        (method url-fetch)
        (uri (pypi-uri "mypy" version))
        (sha256
          (base32
            "030kn709515452n6gy2i1d9fg6fyrkmdz228lfpmbslybsld9xzg"))))
    (build-system python-build-system)
    (propagated-inputs
      `(("python-mypy-extensions" ,python-mypy-extensions)
        ("python-typed-ast" ,python-typed-ast)
        ("python-typing-extensions"
         ,python-typing-extensions)))
    (home-page "http://www.mypy-lang.org/")
    (synopsis "Optional static typing for Python")
    (description "Optional static typing for Python")
    (license #f)))

python-mypy-extensions
python-mypy
